décidable

décidable

décidable [ desidabl ] adj.
• 1957; de décider
♦ Log. Se dit d'un système hypothéticodéductif dont on peut déterminer par un procédé effectif (cf. Méthode de décision) qu'une proposition quelconque est démontrable. ⇒ résoluble. — Par ext. Se dit des propositions elles-mêmes. Questions décidables. ⊗ CONTR. Indécidable.

● décidable adjectif Se dit d'une formule qui est démontrable ou falsifiable dans une théorie déductive. ● décidable (synonymes) adjectif Se dit d'une formule qui est démontrable ou falsifiable dans...
Contraires :
- indécidable

décidable [desidabl] adj.
ÉTYM. Attesté 1957; de décider, p.-ê. d'après l'angl. decidable (1942, Carnap).
❖
♦ Log. Se dit d'un système hypothético-déductif dont on peut déterminer par un procédé effectif (méthode de décision) qu'une proposition quelconque est démontrable (syn. : résoluble). — Par ext. Se dit des propositions elles-mêmes.
0 Toute une école de psychologie allemande (la Denkpsychologie de Wurzburg [sic]) a même tenté au début de ce siècle, pendant qu'A. Binet s'occupait des mêmes problèmes à Paris, de faire rendre à l'introspection son maximum d'information en utilisant une méthode d'introspection provoquée et en centrant l'introspection sur des questions bien délimitées et décidables : le rôle de l'image dans la pensée et les différences entre un jugement et une association d'idées, etc.
J. Piaget, Épistémologie des sciences de l'homme, p. 137.
❖
CONTR. Indécidable.
DÉR. Décidabilité.

Encyclopédie Universelle. 2012.

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Decidable — De*cid a*ble, a. Capable of being decided; determinable. [1913 Webster] …   The Collaborative International Dictionary of English

  • Décidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Decidable — The word decidable may refer to: Decidable language Decidability (logic) for the equivalent in mathematical logic Gödel s incompleteness theorem, a theorem on the indecidability of languages consisting of true statements in mathematical logic.… …   Wikipedia

  • decidable — adjective a) capable of being decided. It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine. b) describing a set for which there exists an algorithm that will determine whether any element is or is… …   Wiktionary

  • decidable — decide ► VERB 1) resolve in the mind as a result of consideration. 2) settle (an issue or contest). 3) give a judgement concerning a legal case. DERIVATIVES decidable adjective deciding adjective. ORIGIN Latin decidere determine , from caedere… …   English terms dictionary

  • Decidable sublanguages of set theory — In mathematical logic, various sublanguages of set theory are decidable.[1][2] These include: Sets with Monotone, Additive, and Multiplicative Functions.[3] Sets with restricted quantifiers.[4] References ^ Cantone, D., E. G …   Wikipedia

  • decidable — adjective see decide …   New Collegiate Dictionary

  • decidable — decidability, n. /di suy deuh beuhl/, adj. 1. capable of being decided. 2. Logic. (of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable. [1585 95;… …   Universalium

  • decidable — adj. able to be decided, concludable …   English contemporary dictionary

  • decidable — de·cid·able …   English syllables

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”